промежуточная полнота

См. также в других словарях:

• ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… …   Математическая энциклопедия

• ДУША — [греч. ψυχή], вместе с телом образует состав человека (см. статьи Дихотомизм, Антропология), будучи при этом самостоятельным началом; Д. человека заключает образ Божий (по мнению одних отцов Церкви; по мнению других образ Божий заключен во всем… …   Православная энциклопедия

• СХОЛАСТИКА — (лат. scholastica, от греч. scholastikos школьный, ученый) тип религиозной философии, характеризующийся принципиальным подчинением примату теологии, соединением догматических предпосылок с рационалистической методикой и особым интересом к… …   Философская энциклопедия

• Международные стандарты финансовой отчётности — (МСФО) Международные стандарты бухгалтерского учета (МСБУ), список действующих в настоящее время стандартов Применение международных стандартов финансовой отчётности в различных странах, IFRS, IAS Содержание Содержание Раздел 1. Применение и… …   Энциклопедия инвестора

• Петр I Алексеевич Великий — первый император всероссийский; родился 30 мая 1672 года от второго брака царя Алексея Михайловича с Натальей Кирилловной Нарышкиной, воспитанницей боярина А. С. Матвеева. Вопреки легендарным рассказам Крекшина, обучение малолетнего П. шло… …   Большая биографическая энциклопедия

• Железные дороги — I I. История развития железных дорог. Ж. дорога, в том виде, в каком она существует теперь, изобретена не сразу. Три элемента, ее составляющие, рельсовый путь, перевозочные средства и двигательная сила прошли каждый отдельную стадию развития,… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ЗВУКА ВОСПРОИЗВЕДЕНИЕ И ЗАПИСЬ — воспроизведение натуральных звучаний электромеханическими средствами и сохранение их в форме, позволяющей восстанавливать их с максимальной верностью оригиналу. Более подробная информация о физических принципах, лежащих в основе затрагиваемых… …   Энциклопедия Кольера

• Крепление скважин —         (a. well lining; н. Bohrlochverrohrung; ф. cuvelage, tubage; и. entibacion de pozos, entubado, entubado de pozos) процесс укрепления стенок буровых скважин обсадными трубами и тампонажным раствором. Наиболее распространено K. c.… …   Геологическая энциклопедия

• Троцкий, Лев Давидович — Возможно, эта статья или раздел требует сокращения. Сократите объём текста в соответствии с рекомендациями правил о взвешенности изложения и размере статей. Дополнительные сведения могут быть на странице обсуждения …   Википедия

• Деперсонализация —    опыт лиминальности как метафизический опыт свободы. Человек является носителем свободы духовного начала, не врожденного генетически, добытийного и сверхбытийного, открывающегося в небытие. Именно эта открытость небытию и отличает человека от… …   Проективный философский словарь

• Достоевсковедение — Памятник Достоевскому в Таллине, скульптор Валерий Евдокимов, 2002 год Достоѐвсковедение (достоевистика)  раздел литературоведения …   Википедия